<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2004, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="Directory name abstraction">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>directory_name Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="directory_name_chart.html">Chart</A></TD><TD><A HREF="directory_name_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "Directory name abstraction"
    library: "Free implementation of ELKS library"
    copyright: "Copyright (c) 1986-2004, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see forum.txt)"
    date: "$Date: 2006-02-20 17:11:44 +0100 (Mon, 20 Feb 2006) $"
    revision: "$Revision: 44 $"

<B>class</B> <B>interface</B>
    <A HREF="../base/directory_name_flatshort.html">DIRECTORY_NAME</A>


<B>create</B> 
    <A NAME="f_make"><A HREF="../base/path_name_flatshort.html#f_make">make</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Create path name object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_make_from_string"><A HREF="../base/path_name_flatshort.html#f_make_from_string">make_from_string</A> (p: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Create path name object and initialize it with the</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> path name </FONT>`p'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            path_not_void: p /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            valid_file_name: <A HREF="../base/directory_name_flatshort.html#f_is_valid">is_valid</A>
</A>

<B>create</B> {<A HREF="../base/directory_name_flatshort.html">DIRECTORY_NAME</A>}
    <A NAME="f_make"><A HREF="../base/readable_string_8_flatshort.html#f_make">string_make</A> (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Allocate space for at least </FONT>`n'<FONT COLOR="red"> characters.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/readable_string_8_flatshort.html">READABLE_STRING_8</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/readable_string_8_flatshort.html">READABLE_STRING_8</A>
            non_negative_size: n &gt;= 0
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/readable_string_8_flatshort.html">READABLE_STRING_8</A>
            empty_string: <A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> = 0
            area_allocated: <A HREF="../base/readable_string_8_flatshort.html#f_capacity">capacity</A> &gt;= n
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Initialization</FONT>

    <A NAME="f_make"><A HREF="../base/path_name_flatshort.html#f_make">make</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Create path name object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_make_from_string"><A HREF="../base/path_name_flatshort.html#f_make_from_string">make_from_string</A> (p: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Create path name object and initialize it with the</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> path name </FONT>`p'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            path_not_void: p /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            valid_file_name: <A HREF="../base/directory_name_flatshort.html#f_is_valid">is_valid</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_string"><A HREF="../base/readable_string_8_flatshort.html#f_string">string</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New STRING_8 having same character sequence as </FONT>`Current'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/readable_string_8_flatshort.html">READABLE_STRING_8</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/readable_string_8_flatshort.html">READABLE_STRING_8</A>
            string_not_void: <B>Result</B> /= <B>Void</B>
            string_type: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (<B>create</B> {<A HREF="../base/string_8_flatshort.html">STRING_8</A>}.<A HREF="../base/readable_string_8_flatshort.html#f_make_empty">make_empty</A>)
            first_item: <A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> &gt; 0 <B>implies</B> <B>Result</B>.<A HREF="../base/string_8_flatshort.html#f_item">item</A> (1) = <A HREF="../base/string_8_flatshort.html#f_item">item</A> (1)
            recurse: <A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> &gt; 1 <B>implies</B> <B>Result</B>.<A HREF="../base/string_8_flatshort.html#f_substring">substring</A> (2, <A HREF="../base/readable_string_8_flatshort.html#f_count">count</A>).<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> (<A HREF="../base/string_8_flatshort.html#f_substring">substring</A> (2, <A HREF="../base/readable_string_8_flatshort.html#f_count">count</A>).<A HREF="../base/readable_string_8_flatshort.html#f_string">string</A>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_is_equal"><A HREF="../base/path_name_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/directory_name_flatshort.html">DIRECTORY_NAME</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is the path name equal to </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            trichotomy: <B>Result</B> = (<B>not</B> (<B>Current</B> &lt; other) <B>and</B> <B>not</B> (other &lt; <B>Current</B>))
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_is_directory_name_valid"><A HREF="../base/path_name_flatshort.html#f_is_directory_name_valid">is_directory_name_valid</A> (dir_name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`dir_name'<FONT COLOR="red"> a valid subdirectory part for the operating system?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            exists: dir_name /= <B>Void</B>
</A>
    <A NAME="f_is_empty"><A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is structure empty?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/finite_flatshort.html">FINITE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/container_flatshort.html">CONTAINER</A>
            <B>True</B>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/readable_string_general_flatshort.html">READABLE_STRING_GENERAL</A>
            <B>True</B>
</A>
    <A NAME="f_is_volume_name_valid"><A HREF="../base/path_name_flatshort.html#f_is_volume_name_valid">is_volume_name_valid</A> (vol_name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`vol_name'<FONT COLOR="red"> a valid volume name for the operating system?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            exists: vol_name /= <B>Void</B>
</A>
    <A NAME="f_prunable"><A HREF="../base/string_8_flatshort.html#f_prunable">prunable</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May items be removed? (Answer: yes.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_8_flatshort.html">STRING_8</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status setting</FONT>

    <A NAME="f_extend"><A HREF="../base/path_name_flatshort.html#f_extend">extend</A> (directory_name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Append the subdirectory </FONT>`directory_name'<FONT COLOR="red"> to the path name.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/path_name_flatshort.html#f_set_subdirectory">set_subdirectory</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            string_exists: directory_name /= <B>Void</B>
            valid_directory_name: <A HREF="../base/path_name_flatshort.html#f_is_directory_name_valid">is_directory_name_valid</A> (directory_name)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            valid_file_name: <A HREF="../base/directory_name_flatshort.html#f_is_valid">is_valid</A>
</A>
    <A NAME="f_extend_from_array"><A HREF="../base/path_name_flatshort.html#f_extend_from_array">extend_from_array</A> (directories: <A HREF="../base/array_flatshort.html">ARRAY</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Append the subdirectories from </FONT>`directories'<FONT COLOR="red"> to the path name.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            array_exists: directories /= <B>Void</B> <B>and then</B> <B>not</B> (directories.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            valid_file_name: <A HREF="../base/directory_name_flatshort.html#f_is_valid">is_valid</A>
</A>
    <A NAME="f_set_directory"><A HREF="../base/path_name_flatshort.html#f_set_directory">set_directory</A> (directory_name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set the absolute directory part of the path name to </FONT>`directory_name'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            string_exists: directory_name /= <B>Void</B>
            valid_directory_name: <A HREF="../base/path_name_flatshort.html#f_is_directory_name_valid">is_directory_name_valid</A> (directory_name)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            valid_file_name: <A HREF="../base/directory_name_flatshort.html#f_is_valid">is_valid</A>
</A>
    <A NAME="f_set_subdirectory"><A HREF="../base/path_name_flatshort.html#f_set_subdirectory">set_subdirectory</A> (directory_name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Append the subdirectory </FONT>`directory_name'<FONT COLOR="red"> to the path name.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/path_name_flatshort.html#f_extend">extend</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            string_exists: directory_name /= <B>Void</B>
            valid_directory_name: <A HREF="../base/path_name_flatshort.html#f_is_directory_name_valid">is_directory_name_valid</A> (directory_name)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            valid_file_name: <A HREF="../base/directory_name_flatshort.html#f_is_valid">is_valid</A>
</A>
    <A NAME="f_set_volume"><A HREF="../base/path_name_flatshort.html#f_set_volume">set_volume</A> (volume_name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set the volume part of the path name to </FONT>`volume_name'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            string_exists: volume_name /= <B>Void</B>
            valid_volume_name: <A HREF="../base/path_name_flatshort.html#f_is_volume_name_valid">is_volume_name_valid</A> (volume_name)
            empty_path_name: <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/path_name_flatshort.html">PATH_NAME</A>
            valid_file_name: <A HREF="../base/directory_name_flatshort.html#f_is_valid">is_valid</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Removal</FONT>

    <A NAME="f_wipe_out"><A HREF="../base/string_8_flatshort.html#f_wipe_out">wipe_out</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Remove all characters.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_8_flatshort.html">STRING_8</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A>
            prunable: <A HREF="../base/string_8_flatshort.html#f_prunable">prunable</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A>
            wiped_out: <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_8_flatshort.html">STRING_8</A>
            is_empty: <A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> = 0
            empty_capacity: <A HREF="../base/readable_string_8_flatshort.html#f_capacity">capacity</A> = 0
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Conversion</FONT>

    <A NAME="f_to_c"><B>frozen</B> <A HREF="../base/string_8_flatshort.html#f_to_c">to_c</A>: <A HREF="../base/any_flatshort.html">ANY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> A reference to a C form of current string.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Useful only for interfacing with C software.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/string_8_flatshort.html">STRING_8</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_8_flatshort.html">STRING_8</A>
            not_is_dotnet: <B>not</B> {<A HREF="../base/platform_flatshort.html">PLATFORM</A>}.<A HREF="../base/platform_flatshort.html#f_is_dotnet">is_dotnet</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/directory_name_flatshort.html">DIRECTORY_NAME</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/readable_string_8_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/readable_string_8_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> 

    <A NAME="f_is_valid"><A HREF="../base/directory_name_flatshort.html#f_is_valid">is_valid</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is the directory name valid?</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_out"><A HREF="../base/readable_string_8_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Printable representation</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/readable_string_8_flatshort.html">READABLE_STRING_8</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/any_flatshort.html">ANY</A>
            <B>True</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/readable_string_8_flatshort.html">READABLE_STRING_8</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
            same_items: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> ("") <B>implies</B> <B>Result</B>.<A HREF="../base/readable_string_8_flatshort.html#f_same_string">same_string</A> (<B>Current</B>)
</A>    
<B>invariant</B>
        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_8_flatshort.html">STRING_8</A>
    extendible: <A HREF="../base/string_8_flatshort.html#f_extendible">extendible</A>
    compare_character: <B>not</B> <A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/readable_string_8_flatshort.html">READABLE_STRING_8</A>
    area_not_void: <A HREF="../base/string_8_flatshort.html#f_area">area</A> /= <B>Void</B>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
    irreflexive_comparison: <B>not</B> (<B>Current</B> &lt; <B>Current</B>)

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/string_general_flatshort.html">STRING_GENERAL</A>
    mutable: <B>not</B> <A HREF="../base/readable_string_general_flatshort.html#f_is_immutable">is_immutable</A>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/indexable_flatshort.html">INDEXABLE</A>
    index_set_not_void: <A HREF="../base/readable_string_8_flatshort.html#f_index_set">index_set</A> /= <B>Void</B>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A>
    increase_by_at_least_one: <A HREF="../base/resizable_flatshort.html#f_minimal_increase">minimal_increase</A> &gt;= 1

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/bounded_flatshort.html">BOUNDED</A>
    valid_count: <A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> &lt;= <A HREF="../base/readable_string_8_flatshort.html#f_capacity">capacity</A>
    full_definition: <A HREF="../base/bounded_flatshort.html#f_full">full</A> = (<A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> = <A HREF="../base/readable_string_8_flatshort.html#f_capacity">capacity</A>)

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/finite_flatshort.html">FINITE</A>
    empty_definition: <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A> = (<A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> = 0)
    non_negative_count: <A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> &gt;= 0

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/directory_name_flatshort.html">DIRECTORY_NAME</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="directory_name_chart.html">Chart</A></TD><TD><A HREF="directory_name_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

